属性序列图:形式语法和语义

在基于场景的软件工程中,时态逻辑被广泛地用来推理并发系统的正确性.模型检验技术允许自动检验系统模型和给定的属性之间的一致性,这些属性常用线性时态逻辑公式来表示.不幸的是,由于这些公式具有复杂的结构使得模型检验技术很难应用在工业实践中.属性序列图可以用来解决这种问题,它是一种基于场景的可视化的语言,容易理解并且具有较强的表达能力,能够克服当前工业中常用的符号中存在的诸多表达缺陷.为了能够完全清晰地描述和理解属性序列图,使其能够广泛地应用,给出其形式语法和基于B(u)chi自动机的形式语义,并进行了实例研究,讨论了其应用前景.     

基于Markov决策过程用交叉熵方法优化软件测试

研究了待测软件某些参数已知的条件下,以最小化平均测试费用为目标的软件测试优化问题.将软件测试过程处理成马尔可夫(Markov)决策过程,给出了软件测试的马尔可夫决策模型,运用交叉熵方法,通过一种学习策略获得软件测试的最优测试剖面,用于优化软件测试.模拟结果表明,学习策略给出的测试剖面要优于随机测试策略,检测和排除相同数目的软件缺陷,学习策略比随机测试能够显著地减少测试用例数,降低测试成本,提高缺陷检测效率.     

基于神经网络树的面部表情自动分类方法

提出了一种结合Gabor变换与神经网络树的面部表情自动分类方法.通过调整Gabor滤波器参数可以建立低信息冗余的Gabor表情特征.与线性判别分析方法相比,本文提出的方法在表情分类应用中更加稳定有效.实验结果表明Gabor特征提取位置的对应性在面部表情自动分类准确性上具有关键作用.     

实用内存数据库核心及其在VLR系统中的应用

从实际应用的角度出发,引出内存数据库的定义及其系统特点,采用面向对象的软件设计方法设计内存数据库的内存组织结构,介绍内存数据库的核心对象并简单说明表对象操作方法的实现过程。结合移动网络中的VLR实体,简单阐述实用内存数据库在通讯领域的应用。     

基于多核集群系统的并行编程模型的研究

并行计算技术是计算机技术发展的重要方向之一。当前并行程序模型主要有消息传递模型和共享存储模型两种。随着处理器多核技术的发展,在一枚多核处理器中集成两个或多个完整的计算引擎（内核）,并充分利用多核计算机的特性,发挥多核计算机的性能成为一个很重要的研究方向。介绍一种新的MPI实现机制,这种机制集成了共享存储模型和消息通信模型的优点,在节点内使用共享存储模型,在节点间使用消息传递模型,并且通过自动生成线程级的任务来获得更好的性能。．     

基于共享库的数据集成方案改进

基于共享数据库的方案是现在高校进行数据集成普遍采用的模式。但随着全局业务的增多,这种方案不可避免地会遇到共享数据库性能瓶颈的问题。从有效利用业务数据库、降低共享数据库业务压力出发,在研究了已有的改进方案之后,对基于共享数据库方案的框架进行改进,提出了一个同时使用共享数据库模式和中介模式,能够进行负载均衡的新的数据集成框架模型。对模型的优劣性进行了分析。     

基于Web Service技术的MOM安全性模型

Web Service作为一门新兴的技术,在中间件技术中有广阔的应用前景。但是,现有的Web Service安全传输方案,不适用于应用层的消息安全保护。因此,这种结合方式将会为消息中间件系统带来安全隐患,无法保证消息中间件的安全消息传递。文中提出了一个基于Web Service技术的合理的中间件模型。并结合消息中间件的特点,在分析Web服务安全技术的基础上,进一步提出了消息中间件的安全传输模型,同时阐述了保证SOAP消息安全传输的基本方法。设计了平台无关的实现方式以体现出应用的透明性。     

基于风险意识的动态入侵防御系统模型

针对现有网络安全产品报警率不高、安全系统反应能力不强的问题,提出一种基于风险意识的动态入侵防御系统模型。风险意识的引入克服了传统入侵检测系统静态规则控制下的“是/不是”判定模式的缺点。借用网管系统实现防火墙与授权端的联动,实现动态规则控制下的风险判定模式。     

XEN网络I/O完全虚拟化机制的可扩展性研究

研究多虚拟机和多处理器结构对XEN虚拟机中网络I/O完全虚拟化机制可扩展性的影响。实验结果表明,当虚拟机数量不断增加或处理器数量超过限度时,网络性能会下降。该文分析了影响可扩展性的关键因素,即虚拟机调度机制和事件通道机制。     

语义网资源采集中选种模块的设计与实现

Falcon-F系统是一个语义网资源采集、索引和检索系统,本文对Falcon-F系统里语义网资源采集过程中的选种工作进行了阐述。首先介绍了语义网资源采集和目前的研究现状,然后重点阐述了语义网资源采集过程里选种的具体设计和实现,以及对相关问题的解决,最后是总结与展望。